<?php
final class counters_ops
{
  
}
?>
